../cudd/cuddInt.h